Identifying dependability requirements for space software systems

Building dependability arguments for software intensive systems

A method is introduced for structuring and guiding the development of end-to-end dependability arguments. The goal is to establish high-level requirements of complex software-intensive systems, especially properties that cross-cut normal functional decomposition. The resulting argument documents and validates the justification of system-level claims by tracing them down to component-level subst...

Identifying Testing Requirements for Modified Software

To my family, for their unconditional love and support iii ACKNOWLEDGEMENTS The six years that I spent at Georgia Tech in Atlanta working on my PhD is the time I shall cherish. When I first came to Atlanta to pursue my degree, my aspiration was to learn how to do research. Now that I have fulfilled this aspiration, I can see how this special experience and my interactions with many exciting and...

Engineering Dependability Requirements for Software-intensive Systems through the Definition of a Common Language

Engineering dependability requirements for software-intensive systems is inherently difficult. Dependability of these systems relies heavily on the emergent properties that result from the complex interdependencies that exist among the involved systems and their environments. Furthermore, the choice of a modeling technique significantly affects the semantics and the level of abstraction at whic...

Software Requirements for Architectured Systems

Recently, increased attention has been paid to how to establish and strengthen the relationships between requirements and architectural design. In particular, how the process must encompass changes to requirements over time and their effects upon a system's architecture. This paper sketches our work-in-progress in this field, which we concern about a methodology to guide the architecture develo...

Modelling Requirements for Software Systems